module Module

match () with
| {caret}_ 
      as u ->
    ()
